\documentclass[conference]{IEEEtran}

% Put edit comments in a really ugly standout display
\usepackage{ifthen}
\usepackage{amssymb}
\usepackage{xcolor}
\usepackage{hyperref}
\usepackage{url}

\newboolean{showcomments}
\setboolean{showcomments}{true} % toggle to show or hide comments
\ifthenelse{\boolean{showcomments}}
  {\newcommand{\nb}[2]{
    \fcolorbox{gray}{yellow}{\bfseries\sffamily\scriptsize#1}
    {$\blacktriangleright$#2$\blacktriangleleft$}
   }
   \newcommand{\version}{\emph{\scriptsize$-$working$-$}}
  }
  {\newcommand{\nb}[2]{}
   \newcommand{\version}{}
  }

\newcommand\moussa[1]{\nb{Moussa}{\textsl{#1}}}
\newcommand\leen[1]{\nb{Leen}{\textsl{#1}}}
\newcommand\eugene[1]{\nb{Eugene}{\textsl{#1}}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Standard shortcuts
\newcommand{\eg}{\emph{e.g.,~}}							% exempli gratia (for the sake of example)
\newcommand{\ie}{\emph{i.e.,~}}							% id est (that is)
\newcommand{\etal}{~\emph{et al.}}					% et alia (and others)
\newcommand{\Fig}[1][Figure]{#1~}  					% choose Fig. or Figure, depending on the style
\newcommand{\Sect}[1][Section]{#1~}					% section name always with a capital S
\newcommand{\Model}[1]{\textsf{#1}}					% name of any modeling artifact (e.g., formalism, model element, rule, ...)
\newcommand{\Code}[1]{\texttt{\small{#1}}}	% inline code
\providecommand{\e}[1]{\ensuremath{\times 10^{#1}}}	% scientific notation: x.10^y

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\title{Verification Of Model Transformations\\
        VOLT 2013}

\author{
\IEEEauthorblockN{Moussa Amrani\\ (primary contact)}
\IEEEauthorblockA{University of Luxembourg\\
Luxembourg, Luxembourg\\
moussa.amrani@uni.lu}
\and
\IEEEauthorblockN{Leen Lambers}
\IEEEauthorblockA{Hasso Plattner Institut\\
Postdam, Germany\\
leen.lambers@hpi.uni-potsdam.de}
\and
\IEEEauthorblockN{Eugene Syriani}
\IEEEauthorblockA{University of Alabama\\
Tuscaloosa, U.S.A.\\
esyriani@cs.ua.edu}
}


\begin{document}

\maketitle



\input{Summary}
\input{Theme}
\input{Contacts}
\input{Procedure}
\input{Publicity}
\input{Format}
\input{Success}
\input{Schedule}

\bibliographystyle{IEEEtran}
\bibliography{bibliography}

\end{document}
